COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	%Olof Widlund,
C00005 ENDMK
C⊗;
%Olof Widlund,
%Courant Instiute, 251 Mercer Street, New York, NY 10012. 
%business letter outline to use with buslet.tex macros
\magnification =\magstephalf
\input buslet[1,ra]
\def\disleft#1:#2:#3\par{\par\hangindent#1\noindent
			 \hbox to #1{#2 \hfill \hskip .1em}\ignorespaces#3\par}
\def\display#1:#2:#3\par{\par\hangindent #1 \noindent
			\hbox to #1{\hfill #2 \hskip .1em}\ignorespaces#3 \par}
\def\adx#1:#2\par{\par\halign{\hskip #1##\hfill\cr #2}\par}


\jmclet

%FOR THE ADDRESS FOR THIS LETTER SEE ABOVE  OR MSG.MSG[1,JMC], P. 616
\vskip 30pt
\address 
Professor Martin Davis 
Courant Institute  
251 Mercer Street 
New York, NY 10012 

\body
Dear Martin:

Re: Comments on the Research of Ernest Davis

I suppose I would favor reappointment, assuming that this
        doesn't carry tenure.  Davis tends to approach problems top down,
        and this results in long lists of requirements.  His opinions
        are generally sensible, but in his discussion of common sense
        he avoids formal detail including detailed discussion of the
        formalisms introduced by others.  I was particularly put off
        by the vagueness of his dismissal of non-monotonic reasoning.
        I wonder if he really understands the papers he refers to.

        Sorry not to be more help.



\closing
Sincerely,       

John McCarthy    
\annotations
\vskip 1in
JMC/ra 
%\smallskip
%Enclosure
%\smallskip
%cc: Matthew Kahn
%\smallskip
%\ps
%P.S.: whatever you wish to say here

\endletter

\makelabel
\end